Knockout Prediction for Reaction Networks with Partial Kinetic Information
نویسندگان
چکیده
In synthetic biology, a common application field for computational methods is the prediction of knockout strategies for reaction networks. Thereby, the major challenge is the lack of information on reaction kinetics. In this paper, we propose an approach, based on abstract interpretation, to predict candidates for reaction knockouts, relying only on partial kinetic information. We consider the usual deterministic steady state semantics of reaction networks and a few general properties of reaction kinetics. We introduce a novel abstract domain over pairs of real domain values to compute the differences between steady states that are reached before and after applying some knockout. We show that this abstract domain allows us to predict correct knockout strategy candidates independent of any particular choice of reaction kinetics. Our predictions remain candidates, since our abstract interpretation over-approximates the solution space. We provide an operational semantics for our abstraction in terms of constraint satisfaction problems and illustrate our approach on a realistic network.
منابع مشابه
Modeling leucine's metabolic pathway and knockout prediction improving the production of surfactin, a biosurfactant from Bacillus subtilis.
A Bacillus subtilis mutant strain overexpressing surfactin biosynthetic genes was previously constructed. In order to further increase the production of this biosurfactant, our hypothesis is that the surfactin precursors, especially leucine, must be overproduced. We present a three step approach for leucine overproduction directed by methods from computational biology. Firstly, we develop a new...
متن کاملRapid and Simultaneous Determination of Montelukast, Fexofenadine and Cetirizine Using Partial Least Squares and Artificial Neural Networks Modeling
Simultaneous determination of pharmaceutical compounds and accurate quantitative prediction of them are of great interest in the clinical and laboratory-based investigations.This work has focused on a comprehensive comparison of Partial Least-Squares (PLS-1) and Artificial Neural Networks (ANN) as two powerful types of chemometric methods. For this purpose, montelukast (MONT), fexofenadine ...
متن کاملKinetic Mechanism Reduction Using Genetic Algorithms, Case Study on H2/O2 Reaction
For large and complex reacting systems, computational efficiency becomes a critical issue in process simulation, optimization and model-based control. Mechanism simplification is often a necessity to improve computational speed. We present a novel approach to simplification of reaction networks that formulates the model reduction problem as an optimization problem and solves it using geneti...
متن کاملDevelopment of a Sensitive Spectrofluorometric-Multivariate Calibration Method for Enzyme Kinetic of Aldehyde Oxidase
Attempts to obtain experimental values for the kinetic parameters of phenanthridine oxidation by guinea pig or rabbit liver aldehyde oxidase using common spectrophotometric methods have not been successful due to a lower limit of detection. In the present study, a new spectrofluorimetric assay in combination with a multivariate calibration method for enzymatic kinetic study of aldehyde oxidase ...
متن کاملDevelopment of a Sensitive Spectrofluorometric-Multivariate Calibration Method for Enzyme Kinetic of Aldehyde Oxidase
Attempts to obtain experimental values for the kinetic parameters of phenanthridine oxidation by guinea pig or rabbit liver aldehyde oxidase using common spectrophotometric methods have not been successful due to a lower limit of detection. In the present study, a new spectrofluorimetric assay in combination with a multivariate calibration method for enzymatic kinetic study of aldehyde oxidase ...
متن کامل